#include<stdio.h>
int main()
{
	int n, m;
	double a;
	scanf_s("%d %d", &n, &m);
	a = n - 0.8 * m;
	printf("%.2lf", a);
	return 0;

}